Automated Design Space Exploration with Aspen
نویسندگان
چکیده
منابع مشابه
Automated Model Merge by Design Space Exploration
Industrial applications of model-driven engineering to develop large and complex systems resulted in an increasing demand for collaboration features. However, use cases such as model differencing and merging have turned out to be a difficult challenge, due to (i) the graphlike nature of models, and (ii) the complexity of certain operations (e.g. hierarchy refactoring) that are common today. In ...
متن کاملAutomated Design Space Exploration for DSP Applications
We present a performance analysis framework that efficiently generates and analyzes hardware architectures for computationally intensive signal processing applications. Our framework synthesizes designs from a high level of abstraction into well-constructed and recognizable hardware structures that perform well in terms of area, throughput and power dissipation. Cost functions provided by our f...
متن کاملSemi-Automated Design Space Exploration for Formal Modelling
Refinement based formal methods allow the modelling of systems through incremental steps via abstraction. Discovering the right levels of abstraction, formulating correct and meaningful invariants, and analysing faulty models are some of the challenges faced when using this technique. Here, we propose Design Space Exploration, an approach that aims to assist a designer by automatically providin...
متن کاملHigher-order Modeling and Automated Design-space Exploration
An important part of the design of complex systems is the evaluation of the large number of potential alternative designs. Due to the number and complexity of design parameters, this design space is potentially huge and very complex. Automating part of the design exploration task can be an invaluable help in finding the optimal or near optimal settings of design parameters. The choice of the mo...
متن کاملSpacewalker: Automated Design Space Exploration for Embedded Computer Systems
design space exploration, VLIW, systolic array, cache This paper addresses the problem of automated design of a computer system for an embedded application. The computer system to be designed consists of a VLIW processor and/or a customized systolic array, along with a cache subsystem comprising a data cache, instruction cache and second-level unified cache. Several algorithms for "walking" the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Scientific Programming
سال: 2015
ISSN: 1058-9244,1875-919X
DOI: 10.1155/2015/157305